Order:
  1.  48
    A sequent- or tableau-style system for Lewis's counterfactual logic ${\rm VC}$.Ian Philip Gent - 1992 - Notre Dame Journal of Formal Logic 33 (3):369-382.